Reading 5.2: Miller, Eisenstat and Foote